<html>
<head><meta charset="utf-8"><title>Is region inference  nothing to do with codegen process? · t-compiler/help · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/index.html">t-compiler/help</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/Is.20region.20inference.20.20nothing.20to.20do.20with.20codegen.20process.3F.html">Is region inference  nothing to do with codegen process?</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="215954087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/Is%20region%20inference%20%20nothing%20to%20do%20with%20codegen%20process%3F/near/215954087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> sasurau4 <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/Is.20region.20inference.20.20nothing.20to.20do.20with.20codegen.20process.3F.html#215954087">(Nov 07 2020 at 13:05)</a>:</h4>
<p>I'm working on <a href="https://github.com/rust-lang/rust/pull/78574">https://github.com/rust-lang/rust/pull/78574</a><br>
According to <a href="https://rustc-dev-guide.rust-lang.org/borrow_check/region_inference.html">https://rustc-dev-guide.rust-lang.org/borrow_check/region_inference.html</a>, region inference is a part of borror checking. <br>
The codegen process is done after borrow checking from <a href="https://rustc-dev-guide.rust-lang.org/overview.html">https://rustc-dev-guide.rust-lang.org/overview.html</a>. <br>
Is region inference nothing to do with codegen process?</p>



<a name="215956759"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/Is%20region%20inference%20%20nothing%20to%20do%20with%20codegen%20process%3F/near/215956759" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> bjorn3 <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/Is.20region.20inference.20.20nothing.20to.20do.20with.20codegen.20process.3F.html#215956759">(Nov 07 2020 at 14:13)</a>:</h4>
<p>Regions are erased before codegen.</p>



<a name="215957658"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/Is%20region%20inference%20%20nothing%20to%20do%20with%20codegen%20process%3F/near/215957658" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> sasurau4 <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/Is.20region.20inference.20.20nothing.20to.20do.20with.20codegen.20process.3F.html#215957658">(Nov 07 2020 at 14:37)</a>:</h4>
<p>Thanks!</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>